Tham khảo Tập_hợp_không_đếm_được

Tham khảo Tập_hợp_không_đếm_được

Bài viết về chủ đề toán học này vẫn còn sơ khai. Bạn có thể giúp Wikipedia mở rộng nội dung để bài được hoàn chỉnh hơn.

x
t
s

x t s Hệ thống số
Đếm được	Tự nhiên (ℕ) Nguyên (ℤ) Hữu tỉ (ℚ) Constructible number Đại số (𝔸) Periods Computable number Definable real number Arithmetical numbers Số nguyên Gauss
Đại số chia	Thực (ℝ) Phức (ℂ) Quaternion (ℍ) Octonion (𝕆)
Split Composition algebra	over ℝ: Split-complex number Split-quaternion Split-octonion over ℂ: Bicomplex number Biquaternion Bioctonion
Số siêu phức khác	Dual number Dual quaternion Hyperbolic quaternion Sedenion (𝕊) Split-biquaternion Số Multicomplex
Các loại khác	Số đếm Vô tỉ Hyperreal number Levi-Civita field Surreal number Siêu việt Ordinal number p-adic Supernatural number Superreal number
Các loại số List

x t s Logic toán
Chung	Ngôn ngữ hình thức Formation rule Hệ hình thức Hệ suy luận Chứng minh hình thức Ngữ nghĩa hình thức (logic) Well-formed formula Tập hợp Phần tử (toán học) Lớp (lý thuyết tập hợp) Classical logic Tiên đề Natural deduction Rule of inference Quan hệ (toán học) Định lý toán học Logical consequence Hệ tiên đề Lý thuyết hình thái Symbol (formal) Syntax (logic) Lý thuyết (logic toán)
Thuật ngữ logic	Mệnh đề toán học Suy luận Luận cứ logic Validity Cogency Tam đoạn luận Square of opposition Sơ đồ Venn
Propositional calculus Đại số Boole	Boolean functions Phép tính mệnh đề Công thức mệnh đề Logical connectives Truth tables
Logic vị từ	Logic bậc nhất Lượng từ (logic) Predicate (mathematical logic) Logic bậc hai Monadic predicate calculus
Naive set theory	Tập hợp Tập hợp rỗng Enumeration Extensionality Tập hợp hữu hạn Tập hợp vô hạn Tập hợp con Tập lũy thừa Tập hợp đếm được Tập hợp không đếm được Recursive set Tập xác định Range (mathematics) Ánh xạ Hàm số Phép toán hai ngôi Cặp được sắp
Lý thuyết tập hợp	Foundations of mathematics Lý thuyết tập hợp Zermelo–Fraenkel Tiên đề chọn General set theory Kripke–Platek set theory Von Neumann–Bernays–Gödel set theory Morse–Kelley set theory Tarski–Grothendieck set theory
Lý thuyết mô hình	Cấu trúc (logic toán) Interpretation (logic) Non-standard model Finite model theory Truth value Validity
Lý thuyết chứng minh	Formal proof Deductive system Hệ hình thức Định lý toán học Logical consequence Rule of inference Syntax (logic)
Lý thuyết tính toán	Recursion Recursive set Recursively enumerable set Decision problem Church–Turing thesis Computable function Primitive recursive function

x t s Lý thuyết tập hợp
Tiên đề	Tiên đề chọn Tiên đề chọn đếm được Tiên đề chọn phụ thuộc Tiên đề quảng tính Tiên đề vô hạn Tiên đề cặp Tiên đề tập hợp các bộ phận Tiên đề chính tắc Tiên đề hợp Axiom schema of tuyển lựa Axiom schema of thay thế Martin's axiom
Tập hợp	Tích Descartes Phần bù Luật De Morgan Phép giao Tập lũy thừa Phần bù Symmetric difference Phép hợp
Các khái niệm Các phương pháp	Lực lượng Số đếm (Large cardinal) Lớp (lý thuyết tập hợp) Constructible universe Giả thiết continuum Tranh luận đường chéo của Cantor Phần tử (toán học) (Cặp được sắp, Tuple) Family of sets Forcing (mathematics) Song ánh Số thứ tự Quy nạp siêu hạn Sơ đồ Venn
Các dạng tập hợp	Tập hợp đếm được Tập hợp rỗng Tập hợp hữu hạn (Hereditarily finite set) Tập mờ Tập hợp vô hạn Recursive set Tập hợp con Transitive set Tập hợp không đếm được Tập hợp phổ dụng
Lý thuyết	Alternative set theory Lý thuyết tập hợp Morse–Kelley set theory Naive set theory Von Neumann–Bernays–Gödel set theory Zermelo set theory Lý thuyết tập hợp Zermelo–Fraenkel Định lý đường chéo Cantor New Foundations Principia Mathematica
Paradoxes of set theory Các vấn đề	Nghịch lý Russell Suslin's problem
Các nhà lý thuyết tập hợp	Abraham Fraenkel Bertrand Russell Ernst Zermelo Georg Cantor John von Neumann Kurt Gödel Lotfi A. Zadeh Paul Bernays Paul Cohen (nhà toán học) Richard Dedekind Thomas Jech Willard Van Orman Quine

Liên quan

Tập hợp (toán học) Tập hợp sắp thứ tự một phần Tập hợp Thanh niên Dân chủ Tập hợp rỗng Tập hợp đếm được Tập hợp con Tập hợp Mandelbrot Tập hợp liên thông Tập hợp hữu hạn Tập hợp vi chính tắc

Tài liệu tham khảo

WikiPedia: Tập_hợp_không_đếm_được